pid=`ps -u jiewen | grep psql | awk '{ print $1 }'`
echo "killing $pid"
kill -9 $pid
